$\forall$$a$:Id, $l$:IdLnk, ${\it tg}$:Id. (rcv($l$,${\it tg}$) = locl($a$) $\in$ Knd) $\Rightarrow$ False